41![S AFE D ISPATCH: Securing C++ Virtual Calls from Memory Corruption Attacks Dongseok Jang Zachary Tatlock S AFE D ISPATCH: Securing C++ Virtual Calls from Memory Corruption Attacks Dongseok Jang Zachary Tatlock](https://www.pdfsearch.io/img/7fe10fc878ac315096dcb3774cded727.jpg) | Add to Reading ListSource URL: cseweb.ucsd.eduLanguage: English - Date: 2013-12-28 00:32:24
|
---|
42![Finding Error-Handling Bugs in Systems Code Using Static Analysis ∗ Cindy Rubio-González Finding Error-Handling Bugs in Systems Code Using Static Analysis ∗ Cindy Rubio-González](https://www.pdfsearch.io/img/8b6a9ff538554804a38a9a5bce88abe5.jpg) | Add to Reading ListSource URL: web.cs.ucdavis.eduLanguage: English - Date: 2014-11-10 23:12:54
|
---|
43![APEx: Automated Inference of Error Specifications for C APIs Yuan Kang Baishakhi Ray APEx: Automated Inference of Error Specifications for C APIs Yuan Kang Baishakhi Ray](https://www.pdfsearch.io/img/e5e495d3943964895f680f469543b9b3.jpg) | Add to Reading ListSource URL: rayb.infoLanguage: English - Date: 2016-08-08 22:22:30
|
---|
44![Hector: Detecting Resource-Release Omission Faults in Error-Handling Code for Systems Software Suman Saha Jean-Pierre Lozi Hector: Detecting Resource-Release Omission Faults in Error-Handling Code for Systems Software Suman Saha Jean-Pierre Lozi](https://www.pdfsearch.io/img/18748417f59cf52c69befe8f093019e7.jpg) | Add to Reading ListSource URL: coccinelle.lip6.frLanguage: English - Date: 2013-06-27 14:20:07
|
---|
45![Accepted at Haskell ’14 Effect Handlers in Scope Nicolas Wu Tom Schrijvers Accepted at Haskell ’14 Effect Handlers in Scope Nicolas Wu Tom Schrijvers](https://www.pdfsearch.io/img/b9423a3cea962f91ec3f8fa28974ccfc.jpg) | Add to Reading ListSource URL: www.cs.ox.ac.ukLanguage: English - Date: 2014-06-10 11:26:04
|
---|
46![Effective Concurrency through Algebraic Effects Stephen Dolan1 , Leo White2 , KC Sivaramakrishnan1 , Jeremy Yallop1 , and Anil Madhavapeddy1 1 University of Cambridge 2 Effective Concurrency through Algebraic Effects Stephen Dolan1 , Leo White2 , KC Sivaramakrishnan1 , Jeremy Yallop1 , and Anil Madhavapeddy1 1 University of Cambridge 2](https://www.pdfsearch.io/img/6c91b03b2d31a82b0c6f969620240e39.jpg) | Add to Reading ListSource URL: kcsrk.infoLanguage: English - Date: 2016-08-01 08:25:07
|
---|
47![Automatically Detecting Error Handling Bugs using Error Specifications Suman Jana1 , Yuan Kang1 , Samuel Roth2 , and Baishakhi Ray3 1 Columbia University Northern University Automatically Detecting Error Handling Bugs using Error Specifications Suman Jana1 , Yuan Kang1 , Samuel Roth2 , and Baishakhi Ray3 1 Columbia University Northern University](https://www.pdfsearch.io/img/ff84bb18bbc25a9a3c7f0de2f929b6c8.jpg) | Add to Reading ListSource URL: rayb.infoLanguage: English - Date: 2016-08-08 22:22:30
|
---|
48![Semantics Engineering: more than just Theorem Proving Robby Findler Northwestern University & PLT Semantics Engineering: more than just Theorem Proving Robby Findler Northwestern University & PLT](https://www.pdfsearch.io/img/c35f4d739bf63f8b1dc4b36726ddf29f.jpg) | Add to Reading ListSource URL: www.eecs.northwestern.eduLanguage: English - Date: 2010-10-18 00:06:19
|
---|
49![CFIMon: Detecting Violation of Control Flow Integrity using Performance Counters Yubin Xia† ‡, Yutao Liu† ‡, Haibo Chen†, Binyu Zang‡ †Institute of Parallel and Distributed Systems, Shanghai Jiao Tong Unive CFIMon: Detecting Violation of Control Flow Integrity using Performance Counters Yubin Xia† ‡, Yutao Liu† ‡, Haibo Chen†, Binyu Zang‡ †Institute of Parallel and Distributed Systems, Shanghai Jiao Tong Unive](https://www.pdfsearch.io/img/694a4bf02bfb8aad78232f328f21f5b1.jpg) | Add to Reading ListSource URL: ipads.se.sjtu.edu.cnLanguage: English - Date: 2012-08-23 22:16:01
|
---|
50![VTrust: Regaining Trust on Virtual Calls Chao Zhang Scott A. Carr Tongxin Li VTrust: Regaining Trust on Virtual Calls Chao Zhang Scott A. Carr Tongxin Li](https://www.pdfsearch.io/img/5e92bcf4963c20942b7eadc69373f3c3.jpg) | Add to Reading ListSource URL: hexhive.github.ioLanguage: English - Date: 2016-06-13 11:08:40
|
---|